منابع مشابه
Lecture 14 — October 30 , 2012
In the previous lecture, we began our discussion of pseudorandomness. We presented the BlumMicali definition of a pseudorandom generator, which defines pseudorandomness in terms of how hard it is for members of a specific computation class to distinguish between true randomness and generated randomness. We proved Yao’s theorem, which provides a link between the existence of certain pseudorandom...
متن کاملFG TAV: Bericht und Beiträge vom 34. Treffen der Fachgruppe vom 14. und 15. Februar 2013 in Aachen
Das Vortragsprogramm eröffnete Carsten Weise mit seiner Keynote Testen mobiler, verteilter Netzwerke mittels symbolischer Ausführung welche die symbolische Ausführung von Programkode in der industriellen Praxis nahebrachte. Im zweiten Vortrag Konzeption und Evaluation eines delta-orientierten modellbasierten Testverfahrens für Softwareproduktlinienstellte der Preisträger des GI TAV-Award 2011, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Berichte der deutschen chemischen Gesellschaft
سال: 1889
ISSN: 0365-9496,1099-0682
DOI: 10.1002/cber.188902202120